<html>
<head><meta charset="utf-8"><title>name-for-borrow-check-project · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html">name-for-borrow-check-project</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="126695399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695399">(May 17 2018 at 12:39)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> ok seriously what do you think of <a href="https://en.wikipedia.org/wiki/Polonius" target="_blank" title="https://en.wikipedia.org/wiki/Polonius">Polonius</a> as the name of the project ("neither borrower nor lender be")? After all, according to Wikipedia, he is generally regarded as "wrong in every judgment he makes" — and we all know you should borrow and lend freely :)</p>



<a name="126695401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695401">(May 17 2018 at 12:39)</a>:</h4>
<p>I do like the idea of a fun name :)</p>



<a name="126695516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695516">(May 17 2018 at 12:42)</a>:</h4>
<p>do it do it</p>



<a name="126695518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695518">(May 17 2018 at 12:42)</a>:</h4>
<p>oh thats lovely</p>



<a name="126695604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695604">(May 17 2018 at 12:44)</a>:</h4>
<p>done <a href="https://github.com/rust-lang-nursery/polonius" target="_blank" title="https://github.com/rust-lang-nursery/polonius">https://github.com/rust-lang-nursery/polonius</a></p>



<a name="126695768"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695768" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695768">(May 17 2018 at 12:49)</a>:</h4>
<p>Cargo.toml still says "borrow-check". Is that staying the same? (This matters since the default name for the binary to execute is going to end up in my PR)</p>



<a name="126695821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695821">(May 17 2018 at 12:50)</a>:</h4>
<p>(I'm happy with either call on that front)</p>



<a name="126695822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695822">(May 17 2018 at 12:50)</a>:</h4>
<p>oh, we should change it</p>



<a name="126695824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695824">(May 17 2018 at 12:50)</a>:</h4>
<p>PR welcome</p>



<a name="126695825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695825">(May 17 2018 at 12:50)</a>:</h4>
<p>well, I don't actually care tbh</p>



<a name="126695826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695826">(May 17 2018 at 12:50)</a>:</h4>
<p>/me debates doing it via github web interface</p>



<a name="126695827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695827">(May 17 2018 at 12:50)</a>:</h4>
<p>but it seems like it might as well match</p>



<a name="126695829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126695829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126695829">(May 17 2018 at 12:50)</a>:</h4>
<p>/me (and just completely failing to test it)</p>



<a name="126696055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126696055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126696055">(May 17 2018 at 12:57)</a>:</h4>
<p>testing it here</p>



<a name="126696140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126696140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126696140">(May 17 2018 at 12:59)</a>:</h4>
<p>I can put a PR for changing the names</p>



<a name="126696377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126696377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126696377">(May 17 2018 at 13:05)</a>:</h4>
<p>good, doing that now :)</p>



<a name="126696705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126696705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126696705">(May 17 2018 at 13:13)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/polonius/pull/33" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/33">https://github.com/rust-lang-nursery/polonius/pull/33</a></p>



<a name="126696779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126696779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126696779">(May 17 2018 at 13:16)</a>:</h4>
<p>lovin' it</p>



<a name="126698094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project/near/126698094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/name-for-borrow-check-project.html#126698094">(May 17 2018 at 13:47)</a>:</h4>
<p>also works for jazz, eg "polonius monk"</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>